Dynamic consequence for soft information
نویسندگان
چکیده
This article looks at so-called dynamic consequence relations for models of soft information change. We provide a sound, complete calculus for one-step soft dynamic consequence relations. We then study a generalization to sequences of updates, for which we show a number of valid and invalid structural rules.
منابع مشابه
Effect of Soft Knee Support on Dynamic and Static Balance in the Male Elderly
Objectives: Joint supporters can caused increasing proprioceptive information. Such proprioceptive information is needed for balance. The purpose of this study was to determine the effect of soft knee support on static and dynamic balance tests in male elderly (65 years and older). Methods & Materials: Via a randomized clinical trial study design, 22 elderly were selected and divided into tw...
متن کاملVariable Impedance Control for Rehabilitation Robot using Interval Type-2 Fuzzy Logic
In this study, a novel variable impedance control for a lower-limb rehabilitation robotic system using voltage control strategy is presented. The majority of existing control approaches are based on control torque strategy, which require the knowledge of robot dynamics as well as dynamic of patients. This requires the controller to overcome complex problems such as uncertainties and nonlinearit...
متن کاملSTATIC AND DYNAMIC OPPOSITION-BASED LEARNING FOR COLLIDING BODIES OPTIMIZATION
Opposition-based learning was first introduced as a solution for machine learning; however, it is being extended to other artificial intelligence and soft computing fields including meta-heuristic optimization. It not only utilizes an estimate of a solution but also enters its counter-part information into the search process. The present work applies such an approach to Colliding Bodies Optimiz...
متن کاملDynamic Consequence and Public announcement
In [25] van Benthem proposes a dynamic consequence relation defined as ψ1, . . . , ψn |= φ iff |= [ψ1]...[ψn]φ, where the latter denotes consequence in public announcement logic, a dynamic epistemic logic. In this paper we investigate the structural properties of a conditional dynamic consequence relation |=Γ extending van Benthem’s proposal. It takes into account a set of background conditions...
متن کاملDynamic vs. Classical Consequence
The shift of interest in logic from just reasoning to all forms of information flow has considerably widened the scope of the discipline, as amply illustrated in Johan van Benthem’s recent book Logical Dynamics of Information and Interaction. But how much does this change when it comes to the study of traditional logical notions such as logical consequence? We propose a systematic comparison be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Log. Comput.
دوره 26 شماره
صفحات -
تاریخ انتشار 2016